1. Constructive Methods in Computing Science :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
2. Constructive Methods in Computing Science: International Summer School directed by F. L. Bauer...[et al.]&
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic data processing- Congresses
رده :
QA
،
75
.
5
،.
N383
،
1988
3. Constructive methods in computing science : International Summer School
پدیدآورنده : directed by E. L. Bauer...]et al.[; edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing
رده :
QA
75
.
5
.
N383
1988
4. Control Flow and Data Flow:
پدیدآورنده : edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Microprogramming.
رده :
QA76
.
9
.
D5
E358
1986
5. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
6. Control flow and data flow: concepts of distributed programming: international summer school directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Distributed processing Congresses ، Electronic data processing,programming- Congresses ، Electronic digital Computer
رده :
QA
76
.
9
.
D5
.
N375
1984a
7. Engineering Theories of Software Intensive Systems
پدیدآورنده : \ Edited by Manfred Broy...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses. ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
8. Engineering methods and tools for software safety and security
پدیدآورنده : [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
9. Engineering methods and tools for software safety and security
پدیدآورنده : [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
10. Engineering theories of software construction
پدیدآورنده : / edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
موضوع : طراح‍ی س‍ی‍س‍ت‍م,ن‍رم اف‍زار -- مهندسی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Formal Methods in Programming and Their Applications :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
12. Formal methods in programming and their applications : International Conference, Academgorodok, Russia, June/July 1993 : proceedings
پدیدآورنده : Dines Bjorrner, Mandred Broy, Igor V. Pottosin, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming
رده :
QA
76
.
L28
Vol
.
735
13. Formal systems specification :
پدیدآورنده : Manfred Broy, Stephan Merz, Katharina Spies (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Elaborazione elettronica dei dati -- Elaborazione distribuita.,Reti di elaboratori.
14. Formal systems specification : the RPC-memory specification case study
پدیدآورنده : Manfred Broy, Stephan Merz, Katharina Spies )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
رده :
QA
76
.
L28
Vol
.
1169
15. Informatik :
پدیدآورنده : von Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers)
16. Informatik :
پدیدآورنده : Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
17. Informatik :
پدیدآورنده : von Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Data structures (Computer science)
رده :
QA76
.
9
.
A43
V666
1995
18. Informatik :
پدیدآورنده : Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA268
.
M364
1993
19. KORSO : methods, languages, and tools for the construction of correct software : final report
پدیدآورنده : Manfred Broy, Stefan Jahnichen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1009
20. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
